21. An introduction to mathematical thought
Author: / by E. R. Stabler
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - Philosophy,Logic - Symbolic and mathematical
Classification :
510
.
1
St-I
22. An invitation to applied category theory :
Author: Brendan Fong, David I. Spivak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
23. An invitation to applied category theory :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
24. Applications of Hyperstructure Theory
Author: by Piergiulio Corsini, Violeta Leoreanu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
25. Aspects of mathematical logic
Author: / edited by E. Casari
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
Classification :
QA9
.
A1C56
2010
26. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
27. Automata, logics, and infinite games
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
28. Automata, logics, and infinite games
Author: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
Classification :
QA
,
76
.
9
,.
M35
,
A85
,
2002
29. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
9
.
M35
A85
2002
30. Basic Concepts of Synthetic Differential Geometry
Author: by René Lavendhomme.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Cell aggregation-- Mathematics.,Global differential geometry.,Logic, Symbolic and mathematical.,Mathematics.
31. Basic concepts of mathematics and logic
Author: / Michael C. Gemignani
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical
Classification :
510
Ge-B
32. Basic concepts of mathematics and logic
Author: Gemignani, Michael C
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
G38
33. Basic concepts of mathematics and logic
Author: / Michael C. Gemignani
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Mathematics,Logic, symbolic and mathematical
Classification :
QA39
.
G38
34. Basice concepts of mathematics and logic
Author: Gemignani,Michel C
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
G38
35. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'
Author: Garciadiego Dantan, Alejandro Ricardo.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics
Classification :
QA
9
.
G2413
1992
36. Bertrand Russell and the origins of the set-theoretic 'Paradoxes'
Author: Garciadiego Dantan, Alejandro Ricardo
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791. Principles of mathematics
Classification :
QA
9
.
G29
37. Bertrand Russell and the origins of the set-theoretic 'paradoxes'
Author: / Alejandro R. Garciadiego
Library: Ilam University Central Library (Ilam)
Subject: Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics
Classification :
QA9
.
G2413
1992
38. Bertrand Russell and the origins of the set-theoretic 'paradoxes', Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English
Author: Garciadiego Dantan, Alejandro Ricardo
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics
Classification :
QA
9
.
G2413
1992
39. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
Classification :
QA9
.
A5
B489
2000
40. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
Classification :
QA9
.
A5
B489
2007
